| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 515331 | ||
| Computability and Complexity | Berechenbarkeit und Komplexität (neu, WS) | Fach-/Modulprüfung | 6 | 514910 | ||
| Berechenbarkeit und Komplexität - Übung | Tutorium | 512069 | Mi 08:30-10:00 S01 (1385|201) (×14) Mi 08:30-10:00 S02 (1385|202) (×14) Mi 08:30-10:00 S11 (1385|211) (×14) Mi 08:30-10:00 S16 (1385|216) (×14) Mi 08:30-10:00 Z3 (1420|302) (×14) Mi 08:30-10:00 Z4 (1420|301) (×14) Mi 16:30-18:00 S01 (1385|201) (×14) Mi 16:30-18:00 S07 (1385|207) (×14) Mi 16:30-18:00 S09 (1385|209) (×14) Mi 16:30-18:00 S13 (1385|213) (×14) Mi 16:30-18:00 S15 (1385|215) (×14) Mi 16:30-18:00 Z3 (1420|302) (×14) Mi 18:30-20:00 S09 (1385|209) (×14) Mi 18:30-20:00 S10 (1385|210) (×14) Mi 18:30-20:00 S11 (1385|211) (×14) Mi 18:30-20:00 S12 (1385|212) (×14) Mi 18:30-20:00 S13 (1385|213) (×14) Mi 18:30-20:00 S14 (1385|214) (×14) Mi 18:30-20:00 S15 (1385|215) (×14) Mi 18:30-20:00 S16 (1385|216) (×14) | |||
| Berechenbarkeit und Komplexität (Globalübung) | Übung | 510275 | Di 16:30-18:00 AH IV (2354|030) (×1) Di 16:30-18:00 TEMP2 (1515|002) (×11) | |||
| Berechenbarkeit und Komplexität | Vorlesung | 512239 | Do 18:30-20:00 Großer Hörsaal AM (1420|210) (×13) Fr 08:30-10:00 H01 (1385|101) (×8) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 514976 | ||
| Effiziente Algorithmen - Übung | Tutorium | 521741 | Mi 16:30-18:00 AH II (2350|111) (×15) Do 08:30-10:00 5052 (2356|052) (×15) Do 10:30-12:00 5056 (2356|056) (×15) Do 12:30-14:00 5052 (2356|052) (×15) Do 12:30-14:00 5054 (2356|054) (×15) Do 16:30-18:00 5052 (2356|052) (×15) | |||
| Effiziente Algorithmen | Vorlesung | 521740 | Mo 16:30-18:00 AH I (2350|028) (×12) Mo 16:30-18:00 AH V (2356|050) (×1) Di 16:30-18:00 AH V (2356|050) (×13) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 518530 | ||
| Introduction to Model Checking | Übung | 521372 | Mo 12:30-14:00 5056 (2356|056) (×1) Di 10:45-13:15 5056 (2356|056) (×1) Do 08:30-10:00 AH III (2350|314.1) (×10) Do 09:55-12:30 5056 (2356|056) (×1) | |||
| Introduction to Model Checking | Vorlesung | 521373 | Mi 12:30-14:00 AH I (2350|028) (×12) Do 10:30-12:00 AH III (2350|314.1) (×14) |